The Third Rewrite Engines Competition
Identifieur interne : 002D81 ( Main/Exploration ); précédent : 002D80; suivant : 002D82The Third Rewrite Engines Competition
Auteurs : Francisco Durán ; Manuel Roldan [Espagne] ; Jean-Christophe Bach [France] ; Emilie Balland [France] ; Mark Van Den Brand [Pays-Bas] ; James R. Cordy ; Steven Eker ; Luc Engelen ; Maartje De Jonge ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats ; Pierre-Etienne Moreau [France] ; Eelco Visser [Pays-Bas]Source :
Abstract
This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.
Url:
DOI: 10.1007/978-3-642-16310-4_16
Affiliations:
- Espagne, France, Norvège, Pays-Bas
- Grand Est, Lorraine (région)
- Nancy
- Institut national polytechnique de Lorraine, Université Nancy 2, Université de Lorraine
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 004B96
- to stream Hal, to step Curation: 004B96
- to stream Hal, to step Checkpoint: 002646
- to stream Main, to step Merge: 002E48
- to stream Main, to step Curation: 002D81
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">The Third Rewrite Engines Competition</title><author><name sortKey="Duran, Francisco" sort="Duran, Francisco" uniqKey="Duran F" first="Francisco" last="Durán">Francisco Durán</name></author><author><name sortKey="Roldan, Manuel" sort="Roldan, Manuel" uniqKey="Roldan M" first="Manuel" last="Roldan">Manuel Roldan</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-83762" status="VALID"><orgName>Departamento Lenguajes y Ciencias de la Computación [Malaga]</orgName><orgName type="acronym">LCC</orgName><desc><address><addrLine>Complejo Tecnológico, Campus de Teatinos 29071 Málaga</addrLine><country key="ES"></country></address><ref type="url">http://www.lcc.uma.es/</ref></desc><listRelation><relation active="#struct-198404" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-198404" type="direct"><org type="institution" xml:id="struct-198404" status="VALID"><orgName>Universidad de Málaga [Málaga]</orgName><desc><address><addrLine>Avda. Cervantes, 2 29071 MÁLAGA</addrLine><country key="ES"></country></address><ref type="url">http://www.uma.es/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Espagne</country></affiliation></author><author><name sortKey="Bach, Jean Christophe" sort="Bach, Jean Christophe" uniqKey="Bach J" first="Jean-Christophe" last="Bach">Jean-Christophe Bach</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-54175" status="OLD"><idno type="RNSR">200820941G</idno><orgName>Formal islands: foundations and applications</orgName><orgName type="acronym">PAREO</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/pareo</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Balland, Emilie" sort="Balland, Emilie" uniqKey="Balland E" first="Emilie" last="Balland">Emilie Balland</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-56000" status="VALID"><idno type="RNSR">200518252X</idno><orgName>Programming Language Technology For Communication Services</orgName><orgName type="acronym">Phoenix</orgName><desc><address><addrLine>200, avenue de la Vieille Tour 33405 Talence cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/phoenix</ref></desc><listRelation><relation active="#struct-3102" type="direct"></relation><relation active="#struct-91134" type="indirect"></relation><relation active="#struct-92972" type="indirect"></relation><relation active="#struct-300366" type="indirect"></relation><relation name="UMR5800" active="#struct-441569" type="indirect"></relation><relation active="#struct-104751" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-168944" type="direct"></relation><relation active="#struct-342881" type="indirect"></relation><relation name="EA 4136" active="#struct-414845" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-3102" type="direct"><org type="laboratory" xml:id="struct-3102" status="VALID"><orgName>Laboratoire Bordelais de Recherche en Informatique</orgName><orgName type="acronym">LaBRI</orgName><desc><address><addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.labri.fr</ref></desc><listRelation><relation active="#struct-91134" type="direct"></relation><relation active="#struct-92972" type="direct"></relation><relation active="#struct-300366" type="direct"></relation><relation name="UMR5800" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-91134" type="indirect"><org type="institution" xml:id="struct-91134" status="OLD"><orgName>Université Bordeaux Segalen - Bordeaux 2</orgName><desc><address><addrLine>146 rue Léo Saignat - 33076 Bordeaux cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-bordeauxsegalen.fr/</ref></desc></org></tutelle><tutelle active="#struct-92972" type="indirect"><org type="institution" xml:id="struct-92972" status="OLD"><orgName>Université Sciences et Technologies - Bordeaux 1</orgName><desc><address><addrLine>351 cours de la Libération - 33405 Talence cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.u-bordeaux1.fr</ref></desc></org></tutelle><tutelle active="#struct-300366" type="indirect"><org type="institution" xml:id="struct-300366" status="VALID"><orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR5800" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-104751" type="direct"><org type="laboratory" xml:id="struct-104751" status="VALID"><idno type="RNSR">200818243Z</idno><orgName>INRIA Bordeaux - Sud-Ouest</orgName><desc><address><addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/bordeaux/</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-168944" type="direct"><org type="laboratory" xml:id="struct-168944" status="VALID"><orgName>Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]</orgName><orgName type="acronym">EA4136</orgName><desc><address><addrLine>Service de Médecine Physique et réadaptation - Bât. Tastet Girard CHU Pellegrin Place Amélie Raba Léon 33076 Bordeaux cedex</addrLine><country key="FR"></country></address></desc><listRelation><relation active="#struct-342881" type="direct"></relation><relation name="EA 4136" active="#struct-414845" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-342881" type="indirect"><org type="institution" xml:id="struct-342881" status="VALID"><orgName>UFR Sciences médicales 3 [Bordeaux]</orgName><desc><address><addrLine>146, rue Léo-Saignat, case 1633076 Bordeaux cedex </addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle name="EA 4136" active="#struct-414845" type="indirect"><org type="institution" xml:id="struct-414845" status="VALID"><orgName>Université de Bordeaux Ségalen [Bordeaux 2]</orgName><desc><address><addrLine>146 Rue Léo Saignat, 33000 Bordeaux</addrLine><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Van Den Brand, Mark" sort="Van Den Brand, Mark" uniqKey="Van Den Brand M" first="Mark" last="Van Den Brand">Mark Van Den Brand</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-84285" status="VALID"><orgName>Eindhoven University of Technology</orgName><desc><address><country key="NL"></country></address></desc><listRelation><relation active="#struct-4629" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-4629" type="direct"><org type="institution" xml:id="struct-4629" status="VALID"><orgName>Eindhoven University of Technology [Eindhoven]</orgName><orgName type="acronym">TUE</orgName><desc><address><addrLine>Den Dolech 2 5612 AZ Eindhoven</addrLine><country key="NL"></country></address><ref type="url">http://w3.tue.nl/nl/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Pays-Bas</country></affiliation></author><author><name sortKey="Cordy, James R" sort="Cordy, James R" uniqKey="Cordy J" first="James R." last="Cordy">James R. Cordy</name></author><author><name sortKey="Eker, Steven" sort="Eker, Steven" uniqKey="Eker S" first="Steven" last="Eker">Steven Eker</name></author><author><name sortKey="Engelen, Luc" sort="Engelen, Luc" uniqKey="Engelen L" first="Luc" last="Engelen">Luc Engelen</name></author><author><name sortKey="De Jonge, Maartje" sort="De Jonge, Maartje" uniqKey="De Jonge M" first="Maartje" last="De Jonge">Maartje De Jonge</name></author><author><name sortKey="Trygve Kalleberg, Karl" sort="Trygve Kalleberg, Karl" uniqKey="Trygve Kalleberg K" first="Karl" last="Trygve Kalleberg">Karl Trygve Kalleberg</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-20502" status="VALID"><orgName>Department of Informatics</orgName><desc><address><addrLine>Institutt for informatikk Universitetet i Bergen Postboks 7803 5020 Bergen</addrLine><country key="NO"></country></address><ref type="url">http://www.uib.no/ii</ref></desc><listRelation><relation active="#struct-300728" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300728" type="direct"><org type="institution" xml:id="struct-300728" status="VALID"><orgName>University of Bergen</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Kats, Lennart C L" sort="Kats, Lennart C L" uniqKey="Kats L" first="Lennart C. L." last="Kats">Lennart C. L. Kats</name></author><author><name sortKey="Moreau, Pierre Etienne" sort="Moreau, Pierre Etienne" uniqKey="Moreau P" first="Pierre-Etienne" last="Moreau">Pierre-Etienne Moreau</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-54175" status="OLD"><idno type="RNSR">200820941G</idno><orgName>Formal islands: foundations and applications</orgName><orgName type="acronym">PAREO</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/pareo</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Visser, Eelco" sort="Visser, Eelco" uniqKey="Visser E" first="Eelco" last="Visser">Eelco Visser</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-47078" status="VALID"><orgName>Computer Engineering - Delft University of Technology</orgName><orgName type="acronym">CE</orgName><desc><address><addrLine>Mekelweg 4 (15th floor) 2628 CD Delft</addrLine><country key="NL"></country></address><ref type="url">http://ce.et.tudelft.nl/</ref></desc><listRelation><relation active="#struct-84531" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-84531" type="direct"><org type="institution" xml:id="struct-84531" status="VALID"><orgName>Delft University of Technology [[Delft]</orgName><desc><address><addrLine>Delft University of Technology Postbus 5 2600 AA Delft</addrLine><country key="NL"></country></address><ref type="url">http://www.tudelft.nl/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Pays-Bas</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:inria-00552037</idno><idno type="halId">inria-00552037</idno><idno type="halUri">https://hal.inria.fr/inria-00552037</idno><idno type="url">https://hal.inria.fr/inria-00552037</idno><idno type="doi">10.1007/978-3-642-16310-4_16</idno><date when="2010-03-20">2010-03-20</date><idno type="wicri:Area/Hal/Corpus">004B96</idno><idno type="wicri:Area/Hal/Curation">004B96</idno><idno type="wicri:Area/Hal/Checkpoint">002646</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">002646</idno><idno type="wicri:Area/Main/Merge">002E48</idno><idno type="wicri:Area/Main/Curation">002D81</idno><idno type="wicri:Area/Main/Exploration">002D81</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">The Third Rewrite Engines Competition</title><author><name sortKey="Duran, Francisco" sort="Duran, Francisco" uniqKey="Duran F" first="Francisco" last="Durán">Francisco Durán</name></author><author><name sortKey="Roldan, Manuel" sort="Roldan, Manuel" uniqKey="Roldan M" first="Manuel" last="Roldan">Manuel Roldan</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-83762" status="VALID"><orgName>Departamento Lenguajes y Ciencias de la Computación [Malaga]</orgName><orgName type="acronym">LCC</orgName><desc><address><addrLine>Complejo Tecnológico, Campus de Teatinos 29071 Málaga</addrLine><country key="ES"></country></address><ref type="url">http://www.lcc.uma.es/</ref></desc><listRelation><relation active="#struct-198404" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-198404" type="direct"><org type="institution" xml:id="struct-198404" status="VALID"><orgName>Universidad de Málaga [Málaga]</orgName><desc><address><addrLine>Avda. Cervantes, 2 29071 MÁLAGA</addrLine><country key="ES"></country></address><ref type="url">http://www.uma.es/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Espagne</country></affiliation></author><author><name sortKey="Bach, Jean Christophe" sort="Bach, Jean Christophe" uniqKey="Bach J" first="Jean-Christophe" last="Bach">Jean-Christophe Bach</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-54175" status="OLD"><idno type="RNSR">200820941G</idno><orgName>Formal islands: foundations and applications</orgName><orgName type="acronym">PAREO</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/pareo</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Balland, Emilie" sort="Balland, Emilie" uniqKey="Balland E" first="Emilie" last="Balland">Emilie Balland</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-56000" status="VALID"><idno type="RNSR">200518252X</idno><orgName>Programming Language Technology For Communication Services</orgName><orgName type="acronym">Phoenix</orgName><desc><address><addrLine>200, avenue de la Vieille Tour 33405 Talence cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/phoenix</ref></desc><listRelation><relation active="#struct-3102" type="direct"></relation><relation active="#struct-91134" type="indirect"></relation><relation active="#struct-92972" type="indirect"></relation><relation active="#struct-300366" type="indirect"></relation><relation name="UMR5800" active="#struct-441569" type="indirect"></relation><relation active="#struct-104751" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-168944" type="direct"></relation><relation active="#struct-342881" type="indirect"></relation><relation name="EA 4136" active="#struct-414845" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-3102" type="direct"><org type="laboratory" xml:id="struct-3102" status="VALID"><orgName>Laboratoire Bordelais de Recherche en Informatique</orgName><orgName type="acronym">LaBRI</orgName><desc><address><addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.labri.fr</ref></desc><listRelation><relation active="#struct-91134" type="direct"></relation><relation active="#struct-92972" type="direct"></relation><relation active="#struct-300366" type="direct"></relation><relation name="UMR5800" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-91134" type="indirect"><org type="institution" xml:id="struct-91134" status="OLD"><orgName>Université Bordeaux Segalen - Bordeaux 2</orgName><desc><address><addrLine>146 rue Léo Saignat - 33076 Bordeaux cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-bordeauxsegalen.fr/</ref></desc></org></tutelle><tutelle active="#struct-92972" type="indirect"><org type="institution" xml:id="struct-92972" status="OLD"><orgName>Université Sciences et Technologies - Bordeaux 1</orgName><desc><address><addrLine>351 cours de la Libération - 33405 Talence cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.u-bordeaux1.fr</ref></desc></org></tutelle><tutelle active="#struct-300366" type="indirect"><org type="institution" xml:id="struct-300366" status="VALID"><orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR5800" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-104751" type="direct"><org type="laboratory" xml:id="struct-104751" status="VALID"><idno type="RNSR">200818243Z</idno><orgName>INRIA Bordeaux - Sud-Ouest</orgName><desc><address><addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/bordeaux/</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-168944" type="direct"><org type="laboratory" xml:id="struct-168944" status="VALID"><orgName>Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]</orgName><orgName type="acronym">EA4136</orgName><desc><address><addrLine>Service de Médecine Physique et réadaptation - Bât. Tastet Girard CHU Pellegrin Place Amélie Raba Léon 33076 Bordeaux cedex</addrLine><country key="FR"></country></address></desc><listRelation><relation active="#struct-342881" type="direct"></relation><relation name="EA 4136" active="#struct-414845" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-342881" type="indirect"><org type="institution" xml:id="struct-342881" status="VALID"><orgName>UFR Sciences médicales 3 [Bordeaux]</orgName><desc><address><addrLine>146, rue Léo-Saignat, case 1633076 Bordeaux cedex </addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle name="EA 4136" active="#struct-414845" type="indirect"><org type="institution" xml:id="struct-414845" status="VALID"><orgName>Université de Bordeaux Ségalen [Bordeaux 2]</orgName><desc><address><addrLine>146 Rue Léo Saignat, 33000 Bordeaux</addrLine><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Van Den Brand, Mark" sort="Van Den Brand, Mark" uniqKey="Van Den Brand M" first="Mark" last="Van Den Brand">Mark Van Den Brand</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-84285" status="VALID"><orgName>Eindhoven University of Technology</orgName><desc><address><country key="NL"></country></address></desc><listRelation><relation active="#struct-4629" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-4629" type="direct"><org type="institution" xml:id="struct-4629" status="VALID"><orgName>Eindhoven University of Technology [Eindhoven]</orgName><orgName type="acronym">TUE</orgName><desc><address><addrLine>Den Dolech 2 5612 AZ Eindhoven</addrLine><country key="NL"></country></address><ref type="url">http://w3.tue.nl/nl/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Pays-Bas</country></affiliation></author><author><name sortKey="Cordy, James R" sort="Cordy, James R" uniqKey="Cordy J" first="James R." last="Cordy">James R. Cordy</name></author><author><name sortKey="Eker, Steven" sort="Eker, Steven" uniqKey="Eker S" first="Steven" last="Eker">Steven Eker</name></author><author><name sortKey="Engelen, Luc" sort="Engelen, Luc" uniqKey="Engelen L" first="Luc" last="Engelen">Luc Engelen</name></author><author><name sortKey="De Jonge, Maartje" sort="De Jonge, Maartje" uniqKey="De Jonge M" first="Maartje" last="De Jonge">Maartje De Jonge</name></author><author><name sortKey="Trygve Kalleberg, Karl" sort="Trygve Kalleberg, Karl" uniqKey="Trygve Kalleberg K" first="Karl" last="Trygve Kalleberg">Karl Trygve Kalleberg</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-20502" status="VALID"><orgName>Department of Informatics</orgName><desc><address><addrLine>Institutt for informatikk Universitetet i Bergen Postboks 7803 5020 Bergen</addrLine><country key="NO"></country></address><ref type="url">http://www.uib.no/ii</ref></desc><listRelation><relation active="#struct-300728" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300728" type="direct"><org type="institution" xml:id="struct-300728" status="VALID"><orgName>University of Bergen</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Kats, Lennart C L" sort="Kats, Lennart C L" uniqKey="Kats L" first="Lennart C. L." last="Kats">Lennart C. L. Kats</name></author><author><name sortKey="Moreau, Pierre Etienne" sort="Moreau, Pierre Etienne" uniqKey="Moreau P" first="Pierre-Etienne" last="Moreau">Pierre-Etienne Moreau</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-54175" status="OLD"><idno type="RNSR">200820941G</idno><orgName>Formal islands: foundations and applications</orgName><orgName type="acronym">PAREO</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/pareo</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Visser, Eelco" sort="Visser, Eelco" uniqKey="Visser E" first="Eelco" last="Visser">Eelco Visser</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-47078" status="VALID"><orgName>Computer Engineering - Delft University of Technology</orgName><orgName type="acronym">CE</orgName><desc><address><addrLine>Mekelweg 4 (15th floor) 2628 CD Delft</addrLine><country key="NL"></country></address><ref type="url">http://ce.et.tudelft.nl/</ref></desc><listRelation><relation active="#struct-84531" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-84531" type="direct"><org type="institution" xml:id="struct-84531" status="VALID"><orgName>Delft University of Technology [[Delft]</orgName><desc><address><addrLine>Delft University of Technology Postbus 5 2600 AA Delft</addrLine><country key="NL"></country></address><ref type="url">http://www.tudelft.nl/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Pays-Bas</country></affiliation></author></analytic><idno type="DOI">10.1007/978-3-642-16310-4_16</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.</div></front></TEI><affiliations><list><country><li>Espagne</li><li>France</li><li>Norvège</li><li>Pays-Bas</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Nancy</li></settlement><orgName><li>Institut national polytechnique de Lorraine</li><li>Université Nancy 2</li><li>Université de Lorraine</li></orgName></list><tree><noCountry><name sortKey="Cordy, James R" sort="Cordy, James R" uniqKey="Cordy J" first="James R." last="Cordy">James R. Cordy</name><name sortKey="De Jonge, Maartje" sort="De Jonge, Maartje" uniqKey="De Jonge M" first="Maartje" last="De Jonge">Maartje De Jonge</name><name sortKey="Duran, Francisco" sort="Duran, Francisco" uniqKey="Duran F" first="Francisco" last="Durán">Francisco Durán</name><name sortKey="Eker, Steven" sort="Eker, Steven" uniqKey="Eker S" first="Steven" last="Eker">Steven Eker</name><name sortKey="Engelen, Luc" sort="Engelen, Luc" uniqKey="Engelen L" first="Luc" last="Engelen">Luc Engelen</name><name sortKey="Kats, Lennart C L" sort="Kats, Lennart C L" uniqKey="Kats L" first="Lennart C. L." last="Kats">Lennart C. L. Kats</name></noCountry><country name="Espagne"><noRegion><name sortKey="Roldan, Manuel" sort="Roldan, Manuel" uniqKey="Roldan M" first="Manuel" last="Roldan">Manuel Roldan</name></noRegion></country><country name="France"><region name="Grand Est"><name sortKey="Bach, Jean Christophe" sort="Bach, Jean Christophe" uniqKey="Bach J" first="Jean-Christophe" last="Bach">Jean-Christophe Bach</name></region><name sortKey="Balland, Emilie" sort="Balland, Emilie" uniqKey="Balland E" first="Emilie" last="Balland">Emilie Balland</name><name sortKey="Moreau, Pierre Etienne" sort="Moreau, Pierre Etienne" uniqKey="Moreau P" first="Pierre-Etienne" last="Moreau">Pierre-Etienne Moreau</name></country><country name="Pays-Bas"><noRegion><name sortKey="Van Den Brand, Mark" sort="Van Den Brand, Mark" uniqKey="Van Den Brand M" first="Mark" last="Van Den Brand">Mark Van Den Brand</name></noRegion><name sortKey="Visser, Eelco" sort="Visser, Eelco" uniqKey="Visser E" first="Eelco" last="Visser">Eelco Visser</name></country><country name="Norvège"><noRegion><name sortKey="Trygve Kalleberg, Karl" sort="Trygve Kalleberg, Karl" uniqKey="Trygve Kalleberg K" first="Karl" last="Trygve Kalleberg">Karl Trygve Kalleberg</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002D81 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002D81 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:inria-00552037
|texte= The Third Rewrite Engines Competition
}}
| This area was generated with Dilib version V0.6.33. |  |